منابع مشابه
Feature-driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things
As the number, complexity, and heterogeneity of connected devices in the Internet of Things (IoT) increase, so does our need to secure these devices, the environment in which they operate, and the assets they manage or control. Collaborative security exploits the capabilities of these connected devices and opportunistically composes them in order to protect assets from potential harm. By dynami...
متن کاملFeature extraction for voice-driven synthesis
This paper explores the singing voice from an unusual perspective, not as a musical instrument but as a musical controller. A set of spectral processing algorithms extract features form the input voice. These features are categorized in four groups: excitation, vocal tract, voice quality and context. The extracted values are then transmitted as Open Sound Control (OSC) messages in order to be u...
متن کاملData-Driven Loop Invariant Inference with Automatic Feature Synthesis
We present LOOPINVGEN, a tool for generating loop invariants that can provably guarantee correctness of a program with respect to a given specification. We extend the data-driven approach to inferring sufficient loop invariants from a collection of program states. In contrast to existing data-driven techniques, LOOPINVGEN is not restricted to a fixed set of features – atomic predicates that are...
متن کاملFeature-Driven Volume Fairing
Volume datasets have been a primary representation for scientific visualization with the advent of rendering algorithms such as marching cubes and ray casting. Nonetheless, illuminating the underlying spatial structures still requires careful adjustment of visualization parameters each time when a different dataset is provided. This paper introduces a new framework, called feature-driven volume...
متن کاملFeature-driven Time Series Generation
Time series data are an ubiquitous and important data source in many domains. Most companies and organizations rely on this data for critical tasks like decision-making, planning, and analytics in general. Usually, all these tasks focus on actual data representing organization and business processes. In order to assess the robustness of current systems and methods, it is also desirable to focus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Cyber-Physical Systems
سال: 2018
ISSN: 2378-962X,2378-9638
DOI: 10.1145/3134843